propositional logic - Allemand Anglais Dictionnaire